Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
231	Last Time on HOL ➜ Defining HOL ➜ Higher Order Abstract Syntax COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computability theory Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Divergence Normal form Theoretical computer science Programming language theory Computer science
232	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
233	Two fundamental problems connected with AI Abstract This paper is about two fundamental problems in the field of computer science. Solving these two problems is important because it has to do with the creation of Artific Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-04-22 07:35:32 Computer science Automata theory Computability theory Theory of computation Algorithm Mathematical logic Halting problem Finite-state machine Determinism Theoretical computer science Models of computation Applied mathematics
234	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Computability theory Lambda calculus Theoretical computer science Mathematical proof Constructible universe Creative Commons Mathematics Mathematical logic Open content
235	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
236	Expressing Heap-shape Contracts in Linear Logic Frances Perry Limin Jia ∗ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 C++ C programming language Procedural programming languages Computability theory Theoretical computer science C++ classes Struct ALGOL 68 Logic programming Software engineering Computing Computer programming
237	A Haskell Library for Term Rewriting Bertram Felgenhauer1 , Martin Avanzini1 and Christian Sternagel2 1 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-21 11:14:24 Formal languages Logic in computer science Computability theory Mathematical logic Rewriting Critical pair Unification Confluence Monad Theoretical computer science Programming language theory Applied mathematics
238	Critical Writing Workshop Add to Reading List Source URL: www.uts.edu.au Language: English - Date: 2015-03-11 20:35:20 Computability theory Functions and mappings Mathematical logic Formal methods Models of computation Function Mathematics Algebraic topology Sheaf
239	Propagation Networks: A Flexible and Expressive Substrate for Computation by Alexey Andreyevich Radul B.S., Massachusetts Institute of Technology (2003) Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-11 13:48:55 Theoretical computer science Academia Computability theory Gerald Jay Sussman Lisp programming language Logic programming Computation Computer Science and Engineering Reactive programming Software engineering Programming paradigms Computing
240	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic

UPDATE